Approche par traduction pour la révision de systèmes d’argumentation

Nous étudions dans cet article le problème de la révision dans le cadre de l’argumentation abstraite [15]. De tels systèmes peuvent être représentés par des graphes orientés dans lesquels les nœuds sont les arguments et les arcs les attaques entre arguments. Dans ces systèmes, le statut d’acceptation d’un argument dépend de la sémantique d’acceptabilité choisie (de base, préférée, stable, . . . ). Le changement dans les systèmes d’argumentation est un sujet de recherche très actif dans la communauté [8, 7, 10, 3, 5, 2, 9, 6, 12]. [14] propose une classification des opérateurs de changement. Un tel opérateur peut être caractérisé par la nature de la contrainte à faire respecter et la nature du changement à appliquer pour obtenir le but désiré. Nous nous intéressons ici à deux types de contrainte et de changement : sur la structure (qui porte sur la structure du graphe d’argumentation) et sur l’acceptabilité (qui porte sur le statut d’acceptation des arguments).